education-main-server software package provides Debian Edu main server packages, you can install in your Debian 9 (Stretch) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install education-main-server
education-main-server is installed in your system.
Make ensure the education-main-server package were installed using the commands given below,
$ sudo dpkg-query -l | grep education-main-server *
You will get with education-main-server package name, version, architecture and description in a table
| Distro | Debian 9 stretch |
| Section | Miscellaneous |
| Package | education-main-server |
| Version | 1.914 |
| Description | Debian Edu main server packages |
| Sub Section | Miscellaneous |